\chapter{Planification}
\subsection{Linux temps réel}
Dans un premier temps, il faudra trouver une distribution linux temps réelle ou encore une extention temps réel pour une distribution linux standard.\\
La première phase consistera a étudier les différentes distributions (et extentions) existantes afin de les comparer sur papier. Pour effectuer cette comparaison, la documentation des auteurs sera utilisée. En outre, afin d'obtenir un avis plus neutre, la recherche s'étendra a des sites web ou/et forum spécialisé traitant le sujet.\\

Finalement, la ou les meilleures distributions/solutiions trouvées seront testées sur la maquette afin de vérfier si les caractèristiques recherchées sont respectées par des tests spécifiques.\\

Une des caractéristiques non contournable est que le système soit temps réel dur soit deterministe c.f. chap \ref{Problematique}.

\subsection{Processeur VIA}
Le développement et les tests s'effectuera sur un mini PC, doté d'une carte Pico
ITX avec un processeur Via C7 ayant une fréquence de 1GHz.\\
Le développement lui même pourrait s'effectuer sur une machine viirtuelle. Toutefois, puisqu'une machine virtuelle tourne sur un autre OS les ressources CPU sont donc partagées. Ceci poserait vraissemblablement des problèmes puisque pour vérifier la périodicité, les échéances etc, nous devons être sûr que le processeur est totalement dédié au système temps réel.\\
Ce processeur a été choisi car il supporte le jeux d'instruction X86, ce qui permet d'y faire tourner presque n'importe quelle distribution Linux (même si certaine supporte d'autres jeux d'instruction).\\

De plus, ce processeur, par rapport à un X86 d'Intel possède 2 PLL\footnote{Phase-locked loop}.\\ 
Une PLL est utilisé \textit{afin d'asservir une fréquence de sortie sur un multiple de la fréquence d'entrée}\cite{WikipediaPLL:website}.\\
En d'autre therme, elle sert à régler la fréqeunce du CPU.\\
Lorsque le processeur change de fréqeunce, cette PLL doit se stabiliser à la nouvelle fréqeunce. Ceci peut prendre un temps non négligeable. Ainsi, ce processeur permet de switcher entre les 2 PLL et changer de fréqeunce instantanément.
\begin{figure}
 \centering
 \includegraphics[scale=0.6]{../Imgs/DoublePLL.png}
 % DoublePLL.png: 0x0 pixel, 300dpi, 0.00x0.00 cm, bb=
 \caption{Double PLL VS Simple PLL}
 \label{fig:DoublePLL}
\end{figure}
\FloatBarrier 

Cette technologie, trouvera tout son sens dans ce projet. Effectivement, avec cette technologie, il sera possible de changer de fréquence lorsque nous aurons à disposition des intervalles plus courtes. Puisque le temps du changement de férquence n'est plus à soustraire à l'interval de temps libre.\\
En outre, nous gagnerons aussi en simpliciter de codage puisque comme cité précédemment nous ne prendrons pas en compte le temps du changement de fréquence.


\subsection{Modification de l'ordonnanceur du RTOS}